<!doctype html>
This test passes if there is no red.
